<=> - Sigma Knowledge base Browser

antecedent

(=>
    (<=>
        (element ?ELEMENT ?SET1)
        (element ?ELEMENT ?SET2))
    (equal ?SET1 ?SET2))

Merge.kif 5421-5425

エンティティーはセットの element %n エンティティーはセットの element %n
セットはセットと equal では %n

consequent

(=> (and (graphPart ?PATH ?GRAPH) (not (instance ?GRAPH DirectedGraph))) (<=> (instance ?PATH (GraphPathFn ?NODE1 ?NODE2)) (instance ?PATH (GraphPathFn ?NODE2 ?NODE1))))	Merge.kif 6062-6068	グラフ要素はグラフの part では %n グラフは有向グラフの instance ではグラフ要素はグラフノードとグラフノード間のパスの set の instance では %n グラフ要素はグラフノードとグラフノード間のパスの set の instance では %n
(=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION)))	Merge.kif 16884-16890	Argument は Argument の instance では %n 命題は引数 Argument の premises と equal では %n 命題は命題の sub-proposition では %n premise Argument and 命題
(=> (and (instance ?PERSON Human) (equal (DescendantsFn ?PERSON) ?DESCENDANTS)) (forall (?MEMBER) (<=> (member ?MEMBER ?DESCENDANTS) (ancestor ?MEMBER ?PERSON))))	Mid-level-ontology.kif 7467-7474	人［人間］は人［人間］の instance では %n DescendantsFn 人［人間］はファミリーグループと equal では %n 物物はファミリーグループの member では %n ancestor 物 and 人［人間］
(=> (and (instance ?POINT1 TimePoint) (instance ?POINT2 TimePoint) (instance ?INTERVAL TimeInterval) (equal (TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL)) (forall (?POINT) (<=> (temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2) (temporalPart ?POINT ?INTERVAL))))	Merge.kif 8430-8439	時点は時点の instance では %n 時点は時点の instance では %n 時間間隔は時間間隔の instance では %n 時点と時点の interval は時間間隔と equal では %n 時点時点は時点にも時点にもその between にも %n 時点は時間間隔の part では %n
(=> (equal ?ATTR1 ?ATTR2) (forall (?THING) (<=> (property ?THING ?ATTR1) (property ?THING ?ATTR2))))	Merge.kif 267-272	属性は属性と equal では %n エンティティーエンティティーには attribute 属性 %n{ない} エンティティーには attribute 属性 %n{ない}
(=> (equal ?CLASS1 ?CLASS2) (forall (?THING) (<=> (instance ?THING ?CLASS1) (instance ?THING ?CLASS2))))	Merge.kif 281-286	クラスはクラスと equal では %n エンティティーエンティティーはクラスの instance では %n エンティティーはクラスの instance では %n
(=> (equal ?OBJ3 (MereologicalDifferenceFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (properPart ?PART ?OBJ3) (and (properPart ?PART ?OBJ1) (not (properPart ?PART ?OBJ2))))))	Merge.kif 9837-9846	オブジェクトは the difference between the parts of オブジェクト and オブジェクトと equal では %n オブジェクトオブジェクトはオブジェクトの proper part では %n オブジェクトはオブジェクトの proper part では %n オブジェクトはオブジェクトの proper part では
(=> (equal ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (part ?PART ?OBJ3) (and (part ?PART ?OBJ1) (part ?PART ?OBJ2)))))	Merge.kif 9817-9824	オブジェクトはオブジェクトとオブジェクトの部分の intersection と equal では %n オブジェクトオブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n
(=> (equal ?OBJ3 (MereologicalSumFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (part ?PART ?OBJ3) (or (part ?PART ?OBJ1) (part ?PART ?OBJ2)))))	Merge.kif 9796-9803	オブジェクトはオブジェクトとオブジェクトの union と equal では %n オブジェクトオブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n
(=> (equal ?THING1 ?THING2) (forall (?ATTR) (<=> (property ?THING1 ?ATTR) (property ?THING2 ?ATTR))))	Merge.kif 260-265	エンティティーはエンティティーと equal では %n 属性エンティティーには attribute 属性 %n{ない} エンティティーには attribute 属性 %n{ない}
(=> (equal ?THING1 ?THING2) (forall (?CLASS) (<=> (instance ?THING1 ?CLASS) (instance ?THING2 ?CLASS))))	Merge.kif 274-279	エンティティーはエンティティーと equal では %n クラスエンティティーはクラスの instance では %n エンティティーはクラスの instance では %n

appearance as argument number 0

(<=> (and (accountHolder ?Account ?Agent) (instance ?Agent Corporation)) (instance ?Account CorporateAccount))	FinancialOntology.kif 1018-1022	accountHolder FinancialAccount and 認識エージェント認識エージェントは法人の instance では %n FinancialAccount は CorporateAccount の instance では %n
(<=> (and (accountHolder ?Account ?Agent) (instance ?Agent Human)) (instance ?Account PersonalAccount))	FinancialOntology.kif 996-1000	accountHolder FinancialAccount and 認識エージェント認識エージェントは人［人間］の instance では %n FinancialAccount は PersonalAccount の instance では %n
(<=> (and (agreementPeriod ?Account ?Period) (finishes ?End ?Period)) (maturityDate ?Account ?End))	FinancialOntology.kif 642-646	agreementPeriod FinancialAccount and 時間間隔日は時間間隔を finishes %n{ない} maturityDate FinancialAccount and 日
(<=> (and (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY) (surface ?OBJ2 PlanetEarth) (instance ?AIRCRAFT Aircraft)) (absoluteHeight ?AIRCRAFT ?QUANTITY))	MilitaryDevices.kif 1462-1467	Aircraft の altitude は自己接続オブジェクトでは %n 自己接続オブジェクトは PlanetEarth の surface では %n Aircraft は Aircraft の instance では %n absoluteHeight Aircraft and AltitudeMeasure
(<=> (and (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber)) (or (and (instance ?NUMBER1 NonnegativeRealNumber) (equal ?NUMBER1 ?NUMBER2)) (and (instance ?NUMBER1 NegativeRealNumber) (equal ?NUMBER2 (SubtractionFn 0.0 ?NUMBER1)))))	Merge.kif 4768-4779	実数の absolute value は非負実数と equal では %n 実数は実数の instance では %n 非負実数は実数の instance では %n 実数は非負実数の instance では %n 実数は非負実数と equal では %n 実数は負の実数の instance では %n 非負実数は (0.0 + 実数) と equal では %n
(<=> (and (instance ?Account FinancialAccount) (possesses ?Agent ?Asset) (equal ?Account (AccountFn ?Asset))) (accountHolder ?Account ?Agent))	FinancialOntology.kif 2321-2326	FinancialAccount は FinancialAccount の instance では %n 認識エージェントは FinancialAsset を possesses %n{ない} FinancialAccount は AccountFn FinancialAsset と equal では %n accountHolder FinancialAccount and 認識エージェント
(<=> (and (instance ?Account PersonalAccount) (greaterThan (CardinalityFn (KappaFn ?Agent (accountHolder ?Account ?Agent))) 1)) (instance ?Account JointAccount))	FinancialOntology.kif 1007-1011	エンティティーは PersonalAccount の instance では %n エンティティー class の instances の数は 1 より greater では　%n エンティティーは JointAccount の instance では %n
(<=> (and (instance ?B BodyPart) (holdsDuring ?T (attribute ?B Bare))) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?B))))))	Mid-level-ontology.kif 30178-30188	エンティティーは体の部分の instance では %n Bare はエンティティーの attribute では %n は時間位置の during holds %n{ない} エンティティーエンティティーは衣類の instance では %n covers エンティティー and エンティティーは時間位置の during holds %n{ない}
(<=> (and (instance ?COMBINE Combining) (resource ?COMBINE ?OBJ1) (result ?COMBINE ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?COMBINE)) (not (part ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?COMBINE)) (part ?OBJ1 ?OBJ2))))	Merge.kif 12466-12473	工程は組み合わせの instance では %n オブジェクトは工程の resource では %n エンティティーは工程の result では %n オブジェクトはエンティティーの part ではは工程の time の existence の beginning の during holds %n{ない} オブジェクトはエンティティーの part では %n は工程の time の existence の end の during holds %n{ない}
(<=> (and (instance ?COPY Photocopying) (patient ?COPY ?OBJ1) (instance ?OBJ1 VisualContentBearingObject) (containsInformation ?OBJ1 ?INFO1)) (exists (?OBJ2 ?INFO2) (and (result ?COPY ?OBJ2) (instance ?OBJ2 VisualContentBearingObject) (containsInformation ?OBJ2 ?INFO2) (equal ?INFO1 ?INFO2))))	Mid-level-ontology.kif 26329-26340	工程は Photocopying の instance では %n ContentBearingPhysical は工程の patient では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は命題の情報を contains %n{ない} ContentBearingPhysical 命題 ContentBearingPhysical は工程の result では %n ContentBearingPhysical は VisualContentBearingObject の instance では %n ContentBearingPhysical は命題の情報を contains %n{ない} 命題は命題と equal では %n
(<=> (and (instance ?LD LiquidDrop) (approximateDiameter ?LD (MeasureFn ?S Micrometer)) (lessThan 500.0 ?S)) (instance ?LD Droplet))	Geography.kif 7524-7530	自己接続オブジェクトは LiquidDrop の instance では %n approximateDiameter 自己接続オブジェクト and 実数の Micrometer(s) 500.0 は実数より less では %n 自己接続オブジェクトは Droplet の instance では %n
(<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThan 10.0 ?S) (greaterThan ?S 2.5)) (exists (?PM10) (and (instance ?PM10 CoarseParticulateMatter) (part ?PM10 ?PM))))	Geography.kif 7440-7451	オブジェクトは ParticulateMatter の instance では %n 自己接続オブジェクトはオブジェクトの part では %n approximateDiameter 自己接続オブジェクト and 実数の Micrometer(s) 10.0 は実数より greater では　%n 実数は 2.5 より greater では　%n オブジェクト10 オブジェクト10 は CoarseParticulateMatter の instance では %n オブジェクト10 はオブジェクトの part では %n
(<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThanOrEqualTo ?S 2.5)) (exists (?PM25) (and (instance ?PM25 FineParticulateMatter) (part ?PM25 ?PM))))	Geography.kif 7469-7479	オブジェクトは ParticulateMatter の instance では %n 自己接続オブジェクトはオブジェクトの part では %n approximateDiameter 自己接続オブジェクト and 実数の Micrometer(s) 実数は 2.5 greater では　%n オブジェクト25 オブジェクト25 は FineParticulateMatter の instance では %n オブジェクト25 はオブジェクトの part では %n
(<=> (and (instance ?SCROLL WindowScrolling) (instance ?SCROLL UserSignifiedGraphicalAction)) (instance ?SCROLL WindowScrollingByUser))	ComputerInput.kif 1789-1793	エンティティーは WindowScrolling の instance では %n エンティティーは UserSignifiedGraphicalAction の instance では %n エンティティーは WindowScrollingByUser の instance では %n
(<=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty))))) (liquidity ?Account HighLiquidity))	FinancialOntology.kif 1818-1828	工程は Withdrawal の instance では %n FinancialAccount は FinancialAccount の instance では %n 工程は CurrencyFn FinancialAccount から originates %n{ない} 工程工程は Penalty の instance では %n 工程は CurrencyFn FinancialAccount に ends %n{ない} 工程は工程を causes %n{ない} liquidity FinancialAccount and HighLiquidity
(<=> (and (instance ?X Region) (holdsDuring ?T (property ?X StandardAmbientTemperaturePressure))) (holdsDuring ?T (and (airTemperature ?X (MeasureFn 298.15 KelvinDegree)) (barometricPressure ?X (MeasureFn 29.530 InchMercury)))))	Weather.kif 2680-2690	エンティティーは地域の instance では %n エンティティーには attribute StandardAmbientTemperaturePressure %n{ない} は時間位置の during holds %n{ない} airTemperature エンティティー and 298.15 の KelvinDegree(s) barometricPressure エンティティー and 29.530 の InchMercury(s) は時間位置の during holds %n{ない}
(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 357-390	年は年EAR year 目の instance では %n MaleLifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal では %n リスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 82-97	年は整数 year 目の instance では %n BirthsPerThousandFn 地政学的地域 and 年は実数と equal では %n PopulationFn 地政学的地域 + 1000 は実数と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数 + 実数は実数と equal では %n
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?DEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (instance ?PERSON Human) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 118-133	年は整数 year 目の instance では %n DeathsPerThousandFn 地政学的地域 and 年は実数と equal では %n PopulationFn 地政学的地域 + 1000 は実数と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数 + 実数は実数と equal では %n
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 238-264	年は整数 year 目の instance では %n DeathsPerThousandLiveBirthsFn 地政学的地域 and 年は実数と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数 + 1000 は実数と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数 + 実数は実数と equal では %n
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 403-436	年は整数 year 目の instance では %n FemaleLifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal では %n リスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 310-342	年は整数 year 目の instance では %n LifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal では %n リスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (SubtractionFn ?Y ?PY) 1) (instance ?PREVIOUSYEAR (YearFn ?PY)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (not (inhabits ?PERSON ?AREA))) (holdsDuring ?YEAR (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (inhabits ?PERSON ?AREA)) (holdsDuring ?YEAR (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 156-187	年は整数 year 目の instance では %n MigrantsPerThousandFn 地政学的地域 and 年は実数と equal では %n ( 整数 + 整数) は 1 と equal では %n エンティティーは整数 year 目の instance では %n PopulationFn 地政学的地域は実数と equal では %n は年の during holds %n{ない} 実数 + 1000 は実数と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数はエンティティー class の instances の数と equal では %n ( 整数 + 整数) は実数と equal では %n 実数 + 実数は実数と equal では %n
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT)) (and (equal (SubtractionFn ?Y ?YP) 1) (instance ?PREVIOUSYEAR (YearFn ?YP)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (holdsDuring ?PREVIOUSYEAR (equal (PopulationFn ?AREA) ?PREVIOUSPOPULATION)) (equal (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT) (equal (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))	People.kif 52-64	年は整数 year 目の instance では %n PopulationGrowthFn 地政学的地域 and 年は実数と equal では %n ( 整数 + 整数P) は 1 と equal では %n 時間位置は整数P year 目の instance では %n PopulationFn 地政学的地域は実数と equal では %n は年の during holds %n{ない} PopulationFn 地政学的地域は実数と equal では %n は時間位置の during holds %n{ない} 実数 + 実数は実数と equal では %n ( 実数 + 1) は実数と equal では %n
(<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA))	Mid-level-ontology.kif 24790-24795	PostalPlace は PostcodeArea に located して %n PostalPlace は PostalPlace の instance では %n PostcodeArea は PostcodeArea の instance では %n postPostcodeArea PostalPlace and PostcodeArea

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: